Semantics For Quantified Modal Logic